AUTOMATED GENERALISATION WITHIN NMAs IN 2016
نویسندگان
چکیده
منابع مشابه
Towards Automated Proof Strategy Generalisation
The ability to automatically generalise (interactive) proofs and use such generalisations to discharge related conjectures is a very hard problem which remains unsolved; this paper shows how we hope to make a start on solving this problem. We develop a notion of goal types to capture key properties of goals, which enables abstractions over the specific order and number of sub-goals arising when...
متن کاملAutomated Generalisation of Function Definitions
We address the problem of finding the common generalisation of a set of Haskell function definitions so that each function can be defined by partial application of the generalisation. By analogy with unification, which derives the most general common specialisation of two terms, we aim to infer the least general common generalisation. This problem has a unique solution in a first-order setting,...
متن کاملAutomated Generalisation of Function De nitions
We address the problem of nding the common generalisa-tion of a set of Haskell function deenitions so that each function can be deened by partial application of the generalisation. By analogy with uniication, which derives the most general common specialisation of two terms, we aim to infer the least general common generalisation. This problem has a unique solution in a rst-order setting, but n...
متن کاملLinearisation of w-Proofs: ANew Method of Generalisation within Automated Deduction
Generalisation is a major 'open' problem in theorem-proving which must often be addressed when attempting automation of proofs involving mathematical induction. This paper proposes a new, uniform method of generalisation, involving the transformation of proofs, which encompasses many different types of generalisation and which may succeed when other methods fail.
متن کاملInteractive and Automated Segmentation and Generalisation of Raster Data
This paper review past and current research activity in the area of generalisation of spatial data and presents a new methodological framework for segmentation and generalisation of raster data. In order to overcome drawbacks associated with supervised classification and generalisation of raster data, an Interactive Automated Segmentation and Raster Generalisation Framework (IASRGF) was develop...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences
سال: 2016
ISSN: 2194-9034
DOI: 10.5194/isprs-archives-xli-b4-647-2016